This is TeX, WAITS Version 2.1 (preloaded format=plain 87.2.17)  27 MAR 1987 23:36
**GENERA.
(GENERA.[W86,JMC] (MEMO.TEX[LET,JMC]
\hours=\count25
\minutes=\count26
\temp=\count27
\ampm=\toks12
\scount=\count28
\ecount=\count29
) [1] [2] [3]
Overfull \hbox (1.83876pt too wide) in paragraph at lines 190--206, p.2
\tenrm tion sym-bols con-stants and pred-i-cate sym-bols, e.g. $\tenit location\
tenrm (\tenit Block1\tenrm ) [] = [] \tenit top\tenrm (\tenit Block2\tenrm )$.

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\tenrm t
.\tenrm i
.\tenrm o
.\tenrm n
.\glue 3.33333 plus 1.66666 minus 1.11111
.etc.


Overfull \hbox (11.33917pt too wide) in paragraph at lines 190--206, p.2
\tenrm Pro-log databases al-low ar-bi-trary Horn clauses that in-clude free vari
-ables, e.g. $\tenit P\tenrm (\tenit x\teni ; \tenit y\tenrm ) [] \tensy ↑

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\tenrm P
.\tenrm r
.\tenrm o
.\discretionary
..\tenrm -
.\tenrm l
.etc.

[4] [5] [6] [7]
Overfull \hbox (30.9096pt too wide) in paragraph at lines 408--421, p.2
\tenrm has been achieved, needs a sen-tence like $\tenit precedes\tenrm (\tenit 
on\tenrm (\tenit Block2\teni ; \tenit Block3\tenrm )\teni ; \tenit on\tenrm (\te
nit Block1\teni ; \tenit Block2\tenrm ))$.

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\tenrm h
.\tenrm a
.\tenrm s
.\glue 3.33333 plus 1.66666 minus 1.11111
.\tenrm b
.etc.

[8] [9] [10] [11] [12]
Output written on GENERA.DVI[W86,JMC] (12 pages, 39268 bytes).